linux distros that still support 32 bit